Sharing is Caring: Combination of Theories? Dejan Jovanovi´c and Clark Barrett New York University Abstract. One of the main shortcomings of the traditional methods for combining theories is the complexity of guessing t

Source URL: csl.sri.com

• Model theory
• Mathematics
• Metalogic
• Logic
• Mathematical logic
• Interpretation
• Structure

Unfailing Haskell: A Static Checker for Pattern Matching Neil Mitchell and Colin Runciman http://www.cs.york.ac.uk/∼ndm , http://www.cs.york.ac.uk/∼colin University of York, UK

Source URL: community.haskell.org

• Computer programming
• Software engineering
• Declarative programming
• Recursion
• Functional programming
• Computability theory
• Theoretical computer science
• Programming paradigms
• Algebraic data type
• Fold
• Pattern matching
• Conditional

Asking and evaluating natural language questions Anselm Rothe1 , Brenden M. Lake2 , and Todd M. Gureckis1 1 Department of Psychology, 2 Center for Data Science, New York University

Source URL: cims.nyu.edu

• Learning
• Education
• Human behavior
• Educational psychology
• Educational practices
• Philosophy of education
• Curricula
• Bayesian network
• Active learning
• Question
• Bayesian inference
• Machine learning

The University of York Department of Computer Science Programming Languages and Systems Group Unfailing Haskell Qualifying Dissertation

Source URL: community.haskell.org

• Software engineering
• Computer programming
• Declarative programming
• Functional languages
• Functional programming
• Recursion
• Higher-order functions
• Programming language comparisons
• Haskell
• Lazy evaluation
• ML
• Conditional

The Research Foundation for SUNY Frequently Asked Questions (FAQ) History, Purpose, and Organizational Structure What is the RF? The Research Foundation for The State University of New York (RF) is the largest comprehens

Source URL: www.rfsuny.org

Cyber-War and the Law of Armed Conflict Moderator: Professor Samuel Rascoff, New York University School of Law Panelists:

Source URL: www.ca2.uscourts.gov

Theme and variations in the expression of modality Themes and variations in the expression of modality* Valentine Hacquard & Ailís Cournane University of Maryland, New York University

Source URL: ling.umd.edu

THE ABC Conjecture Mark Saul, Ph.D. Center for Mathematical Talent Courant Institute of Mathematical Sciences New York University I

Source URL: cims.nyu.edu

Target Essentiality and Centrality Characterize Drug Side Effects Xiujuan Wang1,2., Bram Thijssen3., Haiyuan Yu1,2* 1 Department of Biological Statistics and Computational Biology, Cornell University, Ithaca, New York, U

Source URL: yulab.icmb.cornell.edu

Filling the gaps smoothly Andrey Itkin Tandon School of Engineering, New York University 2nd International Conference on Computational Finance Sept. 2017, Lisbon

Source URL: cemapre.iseg.ulisboa.pt